De Bruijn index - PDFSEARCH.IO - Document Search Engine

De Bruijn index
Results: 29

#	Item
11	FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report∗ Andrew M. Pitts February 2005 Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-02-28 05:08:39 Logic in computer science Models of computation Formal methods Denotational semantics De Bruijn index Higher-order abstract syntax Lambda calculus ECL programming language Actor model Computing Software engineering Theoretical computer science
12	LFMTPNominal Reasoning Techniques in Coq (Extended Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Lambda calculus Theory of computation Computability theory Functions and mappings Logic in computer science Combinatory logic Function Primitive recursive function De Bruijn index Mathematics Theoretical computer science Mathematical logic
13	A Framework for Specifying, Prototyping, and Reasoning about Computational Systems (Doctoral Dissertation Proposal) Andrew Gacek Decemeber 3, 2007 Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2012-08-16 12:29:03 Type theory Higher-order abstract syntax Prolog Twelf De Bruijn index Eval Type system Free variables and bound variables Lambda calculus Software engineering Computing Programming language theory
14	Abstract machines for higher-order term sharing Connor Lane Smith University of Kent [removed] Abstract Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Symbol Lambda calculus De Bruijn index Curry–Howard correspondence Orbifold Mathematics Computer science Theoretical computer science
15	Mechanized Verification of CPS Transformations Zaynah Dargaye and Xavier Leroy INRIA Paris-Rocquencourt B.P. 105, 78153 Le Chesnay, France [removed], [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-07-30 10:00:27 Mathematical logic Models of computation Logic in computer science Computability theory Formal methods Continuation-passing style Denotational semantics De Bruijn notation De Bruijn index Theoretical computer science Lambda calculus Mathematics
16	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
17	Binders Unbound Stephanie Weirich Brent A. Yorgey Tim Sheard Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Lambda calculus Logic Predicate logic Computability theory De Bruijn index Free variables and bound variables Closure Monad Combinatory logic Mathematics Software engineering Computing
18	Term Indexing for the LEO-II Prover Frank Theiß1 Christoph Benzm¨ uller2 1 FR Informatik, Universit¨at des Saarlandes, Saarbr¨ Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:12:16 Science Searching Mathematical notation Predicate logic Theoretical computer science Free variables and bound variables De Bruijn index De Bruijn notation Variable Mathematics Lambda calculus Information science
19	Introduction to Lambda Calculus Henk Barendregt Erik Barendsen Revised edition Add to Reading List Source URL: ftp.cs.ru.nl Language: English - Date: 2008-07-15 17:50:58 Formal methods Models of computation Elementary mathematics Combinatory logic Free variables and bound variables Function Variable De Bruijn index Spectral theory of ordinary differential equations Mathematics Lambda calculus Computability theory
20	Reasoning with Hypothetical Judgments and Open Terms in Hybrid Amy P. Felty Alberto Momigliano Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-07-02 05:22:59 Deduction Models of computation Formal methods Entailment Metalogic De Bruijn index Natural deduction Curry–Howard correspondence Logic Mathematical logic Lambda calculus